Yan Michalevsky on "Ethereum Bugs Through the Lens of Formal Verification" Silicon Valley Ethereum Meetup 57:49 6 years ago 605 Далее Скачать
Cryptosat: Secure Computing in Space using CubeSats - Yan Michalevsky & Yonatan Winetraub Protocol Labs 50:47 2 years ago 333 Далее Скачать
Yan Michalevsky: Satellites-The Perfect Air-gap for Securing Transactions and MPC Wallets| Cryptosat Silence Laboratories 29:12 1 year ago 100 Далее Скачать
Building the Trust Infrastructure for Web3. In Space. | Yan Michalevsky at SmartCon 2023 Chainlink 14:50 1 year ago 26 Далее Скачать
Gyrophone: Recognizing Speech from Gyroscope Signals Yan Michalevsky 0:43 10 years ago 124 005 Далее Скачать
PowerSpy: Location Tracking using Mobile Device Power Analysis Yan Michalevsky 1:00 9 years ago 2 392 Далее Скачать
USENIX ATC '19 - CoSMIX: A Compiler-based System for Secure Memory Instrumentation and Execution... USENIX 19:15 5 years ago 244 Далее Скачать
TROPT Summit 2022: The Future of Privacy Enhancing Technologies (PETs) The Rise of Privacy Tech 37:42 2 years ago 269 Далее Скачать
